tooltips: treat scroll events like key/button press instead of motion

This avoids tooltips from staying visible when scrolling using scroll
events.  Suggested by Paul Davis.

diff --git a/gtk/gtktooltip.c b/gtk/gtktooltip.c
index 97b707a81035388f574a6d32d898f4c14d4954f6..8e70c29822e12f722819784b356d9b4d31ff81f7 100644 (file)
--- a/gtk/gtktooltip.c
+++ b/gtk/gtktooltip.c
@@ -1573,13 +1573,13 @@ _gtk_tooltip_handle_event (GdkEvent *event)
       case GDK_KEY_PRESS:
       case GDK_DRAG_ENTER:
       case GDK_GRAB_BROKEN:
+      case GDK_SCROLL:
        gtk_tooltip_hide_tooltip (current_tooltip);
        break;
 
       case GDK_MOTION_NOTIFY:
       case GDK_ENTER_NOTIFY:
       case GDK_LEAVE_NOTIFY:
-      case GDK_SCROLL:
        if (current_tooltip)
          {
            gboolean tip_area_set;